Grigori Mints : rechercher sur Z-Library

Année:

1990

Langue:

english

Fichier:

PDF, 1011 KB

english, 1990

Epsilon substitution for first- and second-order predicate logic

Journal:

Toshiyasu Arai, Grigori Mints

Année:

2013

Langue:

english

Fichier:

PDF, 146 KB

english, 2013

Extended normal form theorems for logical proofs from axioms

Journal:

Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 106 KB

english, 2000

Epsilon substitution method for elementary analysis

Mints, Grigori, Tupailo, Sergei, Buchholz, Wilfried

Journal:

Archive for Mathematical Logic

Année:

1996

Langue:

english

Fichier:

PDF, 1.40 MB

english, 1996

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || Gentzen-type systems and resolution rules part I propositional logic

Année:

1990

Langue:

english

Fichier:

PDF, 1.49 MB

english, 1990

Proof theory in the USSR 1925–1969

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 2.47 MB

english, 1991

Notes on Constructive Negation

Journal:

Synthese

Année:

2006

Langue:

english

Fichier:

PDF, 261 KB

english, 2006

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || A proof-search method for the first order logic

Année:

1990

Langue:

english

Fichier:

PDF, 505 KB

english, 1990

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || On the problem of reducing search in logic program execution

Année:

1990

Langue:

english

Fichier:

PDF, 655 KB

english, 1990

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || Geometry of interaction 2: Deadlock-free algorithms

Sergei Artemov, Yuri Matiyasevich, Grigori Mints, Anatol Slissenko

Année:

1990

Langue:

english

Fichier:

PDF, 1.02 MB

english, 1990

Preface

Journal:

Année:

2010

Langue:

english

Fichier:

PDF, 234 KB

english, 2010

Cut-free formulations for a quantified logic of here and there

Journal:

Grigori Mints, Ruy de Queiroz

Année:

2010

Langue:

english

Fichier:

PDF, 217 KB

english, 2010

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 129 KB

english, 2006

Dynamic topological logic

Philip Kremer, Grigori Mints

Journal:

Makoto Tatsuta, Grigori Mints

Année:

2005

Langue:

english

Fichier:

PDF, 285 KB

english, 2005

A simple proof of second-order strong normalization with permutative conversions

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 257 KB

english, 2005

The complexity of the disjunction and existential properties in intuitionistic logic

Sam Buss, Grigori Mints

Journal:

Année:

1999

Langue:

english

Fichier:

PDF, 776 KB

english, 1999

Resolution calculus for the first order linear logic

Journal of Logic, Language and Information

Journal:

Année:

1993

Langue:

english

Fichier:

PDF, 1.19 MB

english, 1993

Condensed detachment is complete for relevance logic: A computer-aided proof

Grigori Mints, Tanel Tammet

Journal:

Journal of Automated Reasoning

Année:

1991

Langue:

english

Fichier:

PDF, 392 KB

english, 1991

Propositional logic of continuous transformations in Cantor space

Grigori Mints, Ting Zhang

Journal:

Archive for Mathematical Logic

Année:

2005

Langue:

english

Fichier:

PDF, 194 KB

english, 2005

Cut Elimination for S4C: A Case Study

Journal:

Grigori Mints, Ting Zhang

Année:

2006

Langue:

english

Fichier:

PDF, 221 KB

english, 2006

A proof of topological completeness for S4 in (0, 1)

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 242 KB

english, 2005

Cut Elimination for a Simple Formulation of PAε

Electronic Notes in Theoretical Computer Science

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 199 KB

english, 2006

Indexed systems of sequents and cut-elimination

Journal of Philosophical Logic

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 243 KB

english, 1997

Effective Cut-elimination for a Fragment of Modal mu-calculus

Journal:

Grigori Mints, Valéria de Paiva, Ruy de Queiroz

Année:

2012

Langue:

english

Fichier:

PDF, 169 KB

english, 2012

Logic, Language, Information and Computation

Journal:

Information and Computation

Année:

2009

Langue:

english

Fichier:

PDF, 74 KB

english, 2009

Logic and computer science, edited by Odifreddi Piergiorgio, APIC studies in data processing, vol. 31, Academic Press, London, San Diego, etc., 1990, xii + 430 pp.

Journal:

Année:

1994

Langue:

english

Fichier:

PDF, 460 KB

english, 1994

Strong termination for the epsilon substitution method

Journal:

Akiyoshi, Ryota, Mints, Grigori

Année:

1996

Langue:

english

Fichier:

PDF, 829 KB

english, 1996

An extension of the omega-rule

Journal:

Archive for Mathematical Logic

Année:

2016

Langue:

english

Fichier:

PDF, 404 KB

english, 2016

Cut-Elimination in Classical and Nonclassical Logic || Cut Elimination for S4C: A Case Study

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 1.01 MB

english, 2006

Dedicated to the Memory of Leo Esakia || Effective Cut-elimination for a Fragment of Modal mu-calculus

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 619 KB

english, 2012

Proof-Theoretic Semantics || Notes on Constructive Negation

Journal:

Synthese

Année:

2006

Langue:

english

Fichier:

PDF, 1.73 MB

english, 2006

Indexed Systems of Sequents and Cut-Elimination

Journal of Philosophical Logic

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 1.71 MB

english, 1997

Resolution Calculus for the First Order Linear Logic

Journal of Logic, Language and Information

Journal:

Année:

1993

Langue:

english

Fichier:

PDF, 1.92 MB

english, 1993

Failure of interpolation in constant domain intuitionistic logic

Mints, Grigori, Olkhovikov, Grigory, Urquhart, Alasdair

Journal: